perm filename ASMBL.FAI[CMS,LCS] blob
sn#473138 filedate 1979-09-09 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00007 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 ZERO←←0
C00004 00003 DEFINE PLP < 50 >
C00006 00004 DEFINE BVC (N) < 120 ↔ ((N)-.-1) ∧ 377 >
C00008 00005 DEFINE SEI < 170 >
C00010 00006 DEFINE TAY < 250 >
C00012 00007 DEFINE BNE (N) < 320 ↔ ((N)-.-1) ∧ 377 >
C00014 ENDMK
C⊗;
ZERO←←0
LOC 274
PHASE 0
DEFINE ABSO (N) < (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE BRK < 0 >
DEFINE ORAIX (N) < 1 ↔ (N)∧377 >
DEFINE ORAZ (N) < 5 ↔ (N)∧377 >
DEFINE ASLZ (N) < 6 ↔ (N)∧377 >
DEFINE PHP < 10 >
DEFINE ORAI (N) < 11 ↔ (N)∧377 >
DEFINE ASLA < 12 >
DEFINE ORA (N) < 15 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE ASL (N) < 16 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE BPL (N) < 20 ↔ ((N)-.-1) ∧ 377 >
DEFINE ORAIY (N) < 21 ↔ (N)∧377 >
DEFINE ORAZX (N) < 25 ↔ (N)∧377 >
DEFINE ASLZX (N) < 26 ↔ (N)∧377 >
DEFINE CLC < 30 >
DEFINE ORAY (N) < 31 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE ORAX (N) < 35 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE ASLX (N) < 36 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE JSR (N) < 40 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE ANDIX (N) < 41 ↔ (N)∧377 >
DEFINE BITZ (N) < 44 ↔ (N)∧377 >
DEFINE ANDZ (N) < 45 ↔ (N)∧377 >
DEFINE ROLZ (N) < 46 ↔ (N)∧377 >
DEFINE PLP < 50 >
DEFINE ANDI (N) < 51 ↔ (N)∧377 >
DEFINE ROLA < 52 >
DEFINE BIT (N) < 54 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE AND (N) < 55 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE ROL (N) < 56 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE BMI (N) < 60 ↔ ((N)-.-1) ∧ 377 >
DEFINE ANDIY (N) < 61 ↔ (N)∧377 >
DEFINE ANDZX (N) < 65 ↔ (N)∧377 >
DEFINE ROLZX (N) < 66 ↔ (N)∧377 >
DEFINE SEC < 70 >
DEFINE ANDY (N) < 71 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE ANDX (N) < 75 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE ROLX (N) < 76 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE RTI < 100 >
DEFINE EORIX (N) < 101 ↔ (N)∧377 >
DEFINE EORZ (N) < 105 ↔ (N)∧377 >
DEFINE LSRZ (N) < 106 ↔ (N)∧377 >
DEFINE PHA < 110 >
DEFINE EORI (N) < 111 ↔ (N)∧377 >
DEFINE LSRA < 112 >
DEFINE JMP (N) < 114 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE EOR (N) < 115 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE LSR (N) < 116 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE BVC (N) < 120 ↔ ((N)-.-1) ∧ 377 >
DEFINE EORIY (N) < 121 ↔ (N)∧377 >
DEFINE EORZX (N) < 125 ↔ (N)∧377 >
DEFINE LSRZX (N) < 126 ↔ (N)∧377 >
DEFINE CLI < 130 >
DEFINE EORY (N) < 131 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE EORX (N) < 135 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE LSRX (N) < 136 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE RTS < 140 >
DEFINE ADCIX (N) < 141 ↔ (N)∧377 >
DEFINE ADCZ (N) < 145 ↔ (N)∧377 >
DEFINE RORZ (N) < 146 ↔ (N)∧377 >
DEFINE PLA < 150 >
DEFINE ADCI (N) < 151 ↔ (N)∧377 >
DEFINE RORA < 152 >
DEFINE JMPIN (N) < 154 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE ADC (N) < 155 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE ROR (N) < 156 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE BVS (N) < 160 ↔ ((N)-.-1) ∧ 377 >
DEFINE ADCIY (N) < 161 ↔ (N)∧377 >
DEFINE ADCZX (N) < 165 ↔ (N)∧377 >
DEFINE RORZX (N) < 166 ↔ (N)∧377 >
DEFINE SEI < 170 >
DEFINE ADCY (N) < 171 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE ADCX (N) < 175 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE RORX (N) < 176 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE STAIX (N) < 201 ↔ (N)∧377 >
DEFINE STYZ (N) < 204 ↔ (N)∧377 >
DEFINE STAZ (N) < 205 ↔ (N)∧377 >
DEFINE STXZ (N) < 206 ↔ (N)∧377 >
DEFINE DEY < 210 >
DEFINE TXA < 212 >
DEFINE STY (N) < 214 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE STA (N) < 215 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE STX (N) < 216 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE BCC (N) < 220 ↔ ((N)-.-1) ∧ 377 >
DEFINE STAIY (N) < 221 ↔ (N)∧377 >
DEFINE STYZX (N) < 224 ↔ (N)∧377 >
DEFINE STAZX (N) < 225 ↔ (N)∧377 >
DEFINE STXZY (N) < 226 ↔ (N)∧377 >
DEFINE TYA < 230 >
DEFINE STAY (N) < 231 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE TXS < 232 >
DEFINE STAX (N) < 235 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE LDYI (N) < 240 ↔ (N)∧377 >
DEFINE LDAIX (N) < 241 ↔ (N)∧377 >
DEFINE LDXI (N) < 242 ↔ (N)∧377 >
DEFINE LDYZ (N) < 244 ↔ (N)∧377 >
DEFINE LDAZ (N) < 245 ↔ (N)∧377 >
DEFINE LDXZ (N) < 246 ↔ (N)∧377 >
DEFINE TAY < 250 >
DEFINE LDAI (N) < 251 ↔ (N)∧377 >
DEFINE TAX < 252 >
DEFINE LDY (N) < 254 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE LDA (N) < 255 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE LDX (N) < 256 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE BCS (N) < 260 ↔ ((N)-.-1) ∧ 377 >
DEFINE LDAIY (N) < 261 ↔ (N)∧377 >
DEFINE LDYZX (N) < 264 ↔ (N)∧377 >
DEFINE LDAZX (N) < 265 ↔ (N)∧377 >
DEFINE LDXZY (N) < 266 ↔ (N)∧377 >
DEFINE CLV < 270 >
DEFINE LDAY (N) < 271 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE TSX < 272 >
DEFINE LDYX (N) < 274 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE LDAX (N) < 275 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE LDXY (N) < 276 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE CPYI (N) < 300 ↔ (N)∧377 >
DEFINE CMPIX (N) < 301 ↔ (N)∧377 >
DEFINE CPYZ (N) < 304 ↔ (N)∧377 >
DEFINE CMPZ (N) < 305 ↔ (N)∧377 >
DEFINE DECZ (N) < 306 ↔ (N)∧377 >
DEFINE INY < 310 >
DEFINE CMPI (N) < 311 ↔ (N)∧377 >
DEFINE DEX < 312 >
DEFINE CPY (N) < 314 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE CMP (N) < 315 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE DEC (N) < 316 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE BNE (N) < 320 ↔ ((N)-.-1) ∧ 377 >
DEFINE CMPIY (N) < 321 ↔ (N)∧377 >
DEFINE CMPZX (N) < 325 ↔ (N)∧377 >
DEFINE DECZX (N) < 326 ↔ (N)∧377 >
DEFINE CLD < 330 >
DEFINE CMPY (N) < 331 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE CMPX (N) < 335 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE DECX (N) < 336 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE CPXI (N) < 340 ↔ (N)∧377 >
DEFINE SBCIX (N) < 341 ↔ (N)∧377 >
DEFINE CPXZ (N) < 344 ↔ (N)∧377 >
DEFINE SBCZ (N) < 345 ↔ (N)∧377 >
DEFINE INCZ (N) < 346 ↔ (N)∧377 >
DEFINE INX < 350 >
DEFINE SBCI (N) < 351 ↔ (N)∧377 >
DEFINE NOP < 352 >
DEFINE CPX (N) < 354 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE SBC (N) < 355 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE INC (N) < 356 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE BEQ (N) < 360 ↔ ((N)-.-1) ∧ 377 >
DEFINE SBCIY (N) < 361 ↔ (N)∧377 >
DEFINE SBCZX (N) < 365 ↔ (N)∧377 >
DEFINE INCZX (N) < 366 ↔ (N)∧377 >
DEFINE SED < 370 >
DEFINE SBCY (N) < 371 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE SBCX (N) < 375 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >
DEFINE INCX (N) < 376 ↔ (N)∧377 ↔ ((N)⊗-10)∧377 >